import java.util.HashMap;


public class Vector extends ClockService {

	public Vector(HashMap<String, Node> nodes, String local_name) {
		ts = new VectorTimeStamp(nodes, local_name);
	}


	
}
